Add NonNull pattern types #142339

oli-obk · 2025-06-11T07:10:30Z

These are the final piece missing for

Start using pattern types in libcore #136006

We cannot use the previous scheme of using an integer range for raw pointers, as we're not just changing the layout of raw pointers anymore, but also the type representation. And we can't represent "any provenance or NonZero" natively as patterns. So I created a new !null pattern. Since this is all unstable representation stuff for replacing rustc_layout_scalar_range_start with pattern types, the divergence from normal patterns is fine, especially since T-lang seems interested in exploring general negation patterns

r? @BoxyUwU

rustbot · 2025-06-11T07:10:36Z

Some changes occurred to the CTFE machinery

cc @RalfJung, @oli-obk, @lcnr

changes to the core type system

cc @compiler-errors, @lcnr

Some changes occurred in src/tools/clippy

cc @rust-lang/clippy

HIR ty lowering was modified

cc @fmease

Some changes occurred in compiler/rustc_codegen_cranelift

cc @bjorn3

Some changes occurred to MIR optimizations

cc @rust-lang/wg-mir-opt

Some changes occurred to the CTFE / Miri interpreter

cc @rust-lang/miri

The Miri subtree was changed

cc @rust-lang/miri

Some changes occurred in src/tools/rustfmt

cc @rust-lang/rustfmt

changes to the core type system

cc @compiler-errors, @lcnr

Some changes occurred in compiler/rustc_codegen_ssa

cc @WaffleLapkin

compiler/rustc_trait_selection/src/traits/select/confirmation.rs

rustbot · 2025-06-17T15:08:52Z

These commits modify the library/Cargo.lock file. Unintentional changes to library/Cargo.lock can be introduced when switching branches and rebasing PRs.

If this was unintentional then you should revert the changes before this PR is merged.
Otherwise, you can ignore this comment.

bors · 2025-07-04T18:50:49Z

☔ The latest upstream changes (presumably #143434) made this pull request unmergeable. Please resolve the merge conflicts.

bors · 2025-07-07T18:13:14Z

☔ The latest upstream changes (presumably #143582) made this pull request unmergeable. Please resolve the merge conflicts.

rustbot · 2025-07-08T07:15:14Z

This PR changes Stable MIR

cc @oli-obk, @celinval, @ouz-a

bors · 2025-07-14T20:43:56Z

☔ The latest upstream changes (presumably #143934) made this pull request unmergeable. Please resolve the merge conflicts.

rustbot · 2025-07-15T08:33:00Z

This PR changes rustc_public

cc @oli-obk, @celinval, @ouz-a

BoxyUwU · 2025-09-24T15:17:07Z

compiler/rustc_ty_utils/src/layout.rs

+                        // Make wide pointer pattern types contain only a single field
+                        // of the wide pointer type itself.
+                        layout.fields = FieldsShape::Arbitrary {
+                            offsets: [Size::ZERO].into_iter().collect(),
+                            memory_index: [0].into_iter().collect(),
+                        }


don't understand what this is doing/why we're inventing a field. also this applies to thin pointers too :3

I was encountering annoying to handle situations in various places (like const validation) where I had to duplicate the logic for pointers (wide or thin) on pattern types, because the pattern types directly contained all the information. Now that the pattern types "wrap" the pointer type, all the normal pointer logic simply runs after recursively walking the pattern type's layout. So this makes everything else more robutst, even if technically not necessary

I edited the comment to clarify this

talked about this sync. we think layout of all pattern types should do this "has a field" thing rather than it being !null pattern types of pointers specifically

bors · 2025-10-16T06:15:07Z

☔ The latest upstream changes (presumably #146221) made this pull request unmergeable. Please resolve the merge conflicts.

rustbot · 2025-10-21T09:52:34Z

This PR was rebased onto a different master commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

oli-obk · 2025-10-21T18:54:35Z

@bors r=BoxyUwU

bors · 2025-10-21T18:54:37Z

📌 Commit 375899c has been approved by BoxyUwU

It is now in the queue for this repository.

Rollup of 7 pull requests Successful merges: - #141445 (Add `FromIterator` impls for `ascii::Char`s to `String`s) - #142339 (Add NonNull pattern types) - #147768 (Code refactoring on hir report_no_match_method_error) - #147788 (const Cell methods) - #147932 (Create UTF-8 version of `OsStr`/`OsString`) - #147933 (os_str: Make platform docs more consistent) - #147948 (PassWrapper: Access GlobalValueSummaryInfo::SummaryList via getter for LLVM 22+) r? `@ghost` `@rustbot` modify labels: rollup

rustbot assigned BoxyUwU Jun 11, 2025

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels Jun 11, 2025

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 02f19f4 to 57dc73a Compare June 11, 2025 08:29

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 57dc73a to 0adc902 Compare June 11, 2025 11:25

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 0adc902 to 9944787 Compare June 11, 2025 14:51

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 9944787 to 8c271d9 Compare June 12, 2025 08:00

PatchMixolydic reviewed Jun 12, 2025

View reviewed changes

compiler/rustc_trait_selection/src/traits/select/confirmation.rs Outdated Show resolved Hide resolved

oli-obk force-pushed the not-null-pattern-types branch from 8c271d9 to 50cab82 Compare June 17, 2025 15:08

oli-obk force-pushed the not-null-pattern-types branch 2 times, most recently from 1c997f2 to 47869c2 Compare July 7, 2025 09:46

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 47869c2 to b20dd1d Compare July 7, 2025 11:31

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from b20dd1d to 96205ed Compare July 7, 2025 12:37

oli-obk force-pushed the not-null-pattern-types branch from 96205ed to 66255f9 Compare July 8, 2025 07:15

oli-obk force-pushed the not-null-pattern-types branch from 66255f9 to 962d6ac Compare July 15, 2025 08:32

rustbot added the T-clippy Relevant to the Clippy team. label Jul 15, 2025

oli-obk force-pushed the not-null-pattern-types branch from 962d6ac to 8f23c36 Compare July 23, 2025 06:56

rustbot added the T-rust-analyzer Relevant to the rust-analyzer team, which will review and decide on the PR/issue. label Sep 23, 2025

Dylan-DPC added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Sep 24, 2025

BoxyUwU reviewed Sep 24, 2025

View reviewed changes

BoxyUwU added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Sep 24, 2025

oli-obk force-pushed the not-null-pattern-types branch from 7522c0d to 15800b9 Compare October 14, 2025 10:48

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 15800b9 to d3e56c9 Compare October 14, 2025 14:59

oli-obk force-pushed the not-null-pattern-types branch from d3e56c9 to 713d711 Compare October 21, 2025 09:52

This comment has been minimized.

Sign in to view

oli-obk force-pushed the not-null-pattern-types branch from 713d711 to 2a3c83b Compare October 21, 2025 10:13

Pattern types have their base type as a field

d9f22d2

oli-obk force-pushed the not-null-pattern-types branch from 2a3c83b to 9a953cf Compare October 21, 2025 10:46

This comment has been minimized.

Sign in to view

oli-obk added 2 commits October 21, 2025 11:22

Add not-null pointer patterns to pattern types

ad4bd08

Allow unsizing pattern types with pointer base

375899c

oli-obk force-pushed the not-null-pattern-types branch from 9a953cf to 375899c Compare October 21, 2025 11:23

bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. labels Oct 21, 2025

matthiaskrgr mentioned this pull request Oct 22, 2025

Rollup of 7 pull requests #147957

Merged

bors merged commit f6d324f into rust-lang:master Oct 22, 2025
11 checks passed

rustbot added this to the 1.92.0 milestone Oct 22, 2025

oli-obk deleted the not-null-pattern-types branch October 22, 2025 10:43

Add NonNull pattern types #142339

Add NonNull pattern types #142339

Uh oh!

Conversation

oli-obk commented Jun 11, 2025

Uh oh!

rustbot commented Jun 11, 2025

Uh oh!

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

Uh oh!

rustbot commented Jun 17, 2025

Uh oh!

bors commented Jul 4, 2025

Uh oh!

This comment has been minimized.

This comment has been minimized.

bors commented Jul 7, 2025

Uh oh!

rustbot commented Jul 8, 2025

Uh oh!

bors commented Jul 14, 2025

Uh oh!

rustbot commented Jul 15, 2025

Uh oh!

BoxyUwU Sep 24, 2025

Choose a reason for hiding this comment

Uh oh!

oli-obk Oct 14, 2025

Choose a reason for hiding this comment

Uh oh!

oli-obk Oct 14, 2025

Choose a reason for hiding this comment

Uh oh!

BoxyUwU Oct 21, 2025

Choose a reason for hiding this comment

Uh oh!

This comment has been minimized.

This comment has been minimized.

bors commented Oct 16, 2025

Uh oh!

rustbot commented Oct 21, 2025

Uh oh!

This comment has been minimized.

This comment has been minimized.

oli-obk commented Oct 21, 2025

Uh oh!

bors commented Oct 21, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

8 participants